Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]
|
| Pubblicazione: | Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 |
| Descrizione fisica: | 1 online resource (1179 p.) |
| Disciplina: | 511.3 |
| Soggetto topico: | Logic, Symbolic and mathematical |
| Altri autori: |
BarwiseJon
KeislerH. Jerome
|
| Note generali: | Description based upon print version of record. |
| Nota di bibliografia: | Includes bibliographical references and indexes. |
| Nota di contenuto: | pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics. |
| Sommario/riassunto: | The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own. |
| Titolo autorizzato: | Handbook of mathematical logic |
| ISBN: | 1-282-16918-1 |
| 9786612169182 | |
| 0-08-093364-5 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910821208503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Studies in logic and the foundations of mathematics ; ; v. 90.